Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
241	PDF Document Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-12 09:57:07 Science Models of computation Systems engineering Markov processes Concurrency Markov chain Markov model Model checking Petri net Mathematics Statistics Diagrams
242	AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees T. Prosvirnova & A. Rauzy LIX Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-10-15 05:57:38 Mathematics Diagrams Petri net Computer science Markov chain SL Model theory Mathematical model Theoretical computer science Models of computation Concurrency
243	The annual IEEE CEC is one of the leading events in the field of evolutionary computation. It covers all topics in evolutionary computation including: Ant colony optimization Evolutionary learning systems Industrial appl Add to Reading List Source URL: sites.ieee.org Language: English - Date: 2014-11-25 00:19:54 Cybernetics Year of birth missing Evolutionary computation Knowledge IEEE Computational Intelligence Society Artificial immune system Institute of Electrical and Electronics Engineers Agent-based model Computational intelligence Evolutionary algorithms Science Artificial intelligence
244	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
245	Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed] Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Computing Programming language theory Promela Finite-state machine ALGOL 68 Software engineering Automata theory Models of computation
246	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
247	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
248	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics
249	Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:29:48 Software engineering Concurrency Automata theory Diagrams Petri net Markov chain Model checking Fault tree analysis Finite-state machine Models of computation Systems engineering Statistics
250	A Visual Environment for Rapid Behavior Definition Daniel Fu Ryan Houlette Randy Jensen Stottler Henke Associates, Inc[removed]S. Amphlett Blvd., Suite 350 Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2003-04-30 16:53:06 Knowledge Behavior Human behavior UML state machine Agent-based model Intelligent agent Simulation Application programming interface Behavior Trees Models of computation Science Artificial intelligence

UPDATE